Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
81	IPMU 2016 program overview Monday (June 20th) 8:00-18:00 9:00-10:30 10:30-10:50 Add to Reading List Source URL: is.ieis.tue.nl Language: English - Date: 2016-06-14 05:34:33 Fuzzy logic Fuzzy set Fuzzy measure theory Rough set
82	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
83	INCORPORATING ADAPTIVE MANAGEMENT INTO THE GLRI PROGRAM - Draft June Add to Reading List Source URL: www.glri.us Language: English - Date: 2015-07-09 10:22:49 Sustainability Adaptive management Project management Program management Logic model Management Ecosystem-based management Water Resources Development Act
84	c 2007 by Dafna Shahaf. All rights reserved. LOGICAL FILTERING AND LEARNING IN PARTIALLY OBSERVABLE WORLDS BY Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:01 Algorithm Mathematical logic Theoretical computer science Program optimization
85	CHAPTER 2: COUNTERING FOUR RISKY ASSUMPTIONS PRESENTED BY GAMES FOR CHANGE AND THE MICHAEL COHEN GROUP Add to Reading List Source URL: press.etc.cmu.edu Language: English - Date: 2016-04-17 15:28:22 Logic model Program evaluation Game design Economic model Games for Change
86	A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Symbol Tuple First-order logic IP Substitution Operator
87	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
88	Microsoft PowerPoint - autoprog-splash-oct11 Add to Reading List Source URL: onward-conference.org Language: English - Date: 2014-05-20 07:19:23 Digital signal processing Theoretical computer science Algorithm Mathematical logic Program optimization Discrete Fourier transform Fourier
89	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with Add to Reading List Source URL: coccinelle.lip6.fr Language: English C Struct Sizeof Stat C++ classes Coccinelle
90	Request for Proposals (RFP) Program Design, Budget, and Additional Documents October 16, 213 Add to Reading List Source URL: kanserve.org Language: English - Date: 2014-05-07 11:49:32 Social change Theory of change AmeriCorps Logic model Impact assessment

UPDATE